operator bounded below

[数] 下有界算子